home *** CD-ROM | disk | FTP | other *** search
/ Monster Media 1994 #2 / Monster Media No. 2 (Monster Media)(1994).ISO / prog_gen / freecomp.zip / COMPILER.3 < prev    next >
Text File  |  1994-05-07  |  62KB  |  1,635 lines
  1. Archive-name: free-compilers/part3
  2. Last-modified: 1994/4/29
  3. Version: 6.5
  4.  
  5.  
  6.  
  7. lisp family
  8. -------------------------------------------------------------------------------
  9. category: lisp family
  10. description: [The programming languages for those who like parenthesis --ed]
  11.  
  12. language: Dylan
  13. package: Thomas
  14. version: 1.1
  15. parts:  translator(Scheme)
  16. author:  Matt Birkholz <Birkholz@crl.dec.com>, Jim Miller 
  17.   <JMiller@crl.dec.com>, Ron Weiss <RWeiss@crl.dec.com>
  18. how to get: ftp pub/DEC/Thomas from gatekeeper.pa.dec.com
  19.   ftp pub/dylan/Thomas from cambridge.apple.com
  20. description: Thomas, a compiler written at Digital Equipment
  21.   Corporation's Cambridge Research Laboratory compiles
  22.   a language compatible with the language described
  23.   in the book "Dylan(TM) an object-oriented dynamic
  24.   language" by Apple Computer Eastern Research and
  25.   Technology, April 1992.  It does not perform well.
  26.   Thomas is NOT Dylan(TM).
  27. requires: Scheme
  28. ports:  MIT's CScheme, DEC's Scheme->C, Marc Feeley's Gambit, Mac, PC, 
  29.   Vax, MIPS, Alpha, 680x0
  30. updated: 1994/04/18
  31.  
  32. language: Dylan 
  33. package: Marlais
  34. version: 0.3
  35. parts:  interpreter
  36. author:  Brent Benson <brent@ssd.csd.harris.com>
  37. how to get: ftp pub/marlais-0.2a.tar.gz from travis.csd.harris.com
  38.   ftp pub/dylan/Marlais/marlais-0.3.tar.gz
  39.    from cambridge.apple.com
  40. description: Marlais is a simple-minded interpreter for a programming
  41.   language strongly resembling Dylan [1].  It is not intended as
  42.   a final release, but rather to fill a perceived void where
  43.   Dylan implementations are concerned.  This is a "hackers
  44.   release" and is intended as a vehicle for education,
  45.   experimentation and also to encourage people to port it to
  46.   different architectures, add features, and fix bugs.  Marlais
  47.   is alpha software and should not be used by people desiring
  48.   reliability!!!
  49. ports:  Sun-3, Sun-4, VAX/BSD, OS/2, Linux, Sequent Symmetry,
  50.   Encore, HP-UX, Ultrix, SGI, Sony News, A/UX
  51. updated: 1994/04/18
  52.  
  53. language: EuLisp
  54. package: Feel (Free and Eventually Eulisp)
  55. version: 0.75
  56. parts:  interpreter, documentation
  57. author:  Pete Broadbery <pab@maths.bath.ac.uk>
  58. how to get: ftp pub/eulisp from ftp.bath.ac.uk
  59. description: + integrated object system
  60.   + a module system
  61.   + parallelism
  62.   + interfaces to PVM library, tcp/ip sockets, futures, 
  63.   Linda, and CSP.
  64. ports:  most unix
  65. portability: high, but can use shared memory and threads if available
  66. updated: 1992/09/14
  67.  
  68. language: Common Lisp
  69. package: CMU Common Lisp
  70. version: 17c
  71. parts:  incremental compiler, profiler, runtime, documentation, 
  72.   editor, debugger
  73. author:  ?
  74. how to get: ftp pub/* from from lisp-sun1.slisp.cs.cmu.edu.
  75. description: CMU Common Lisp is public domain "industrial strength" Common
  76.   Lisp programming environment.  Many of the X3j13 changes have
  77.   been incorporated into CMU CL. Wherever possible, this has
  78.   been done so as to transparently allow use of either CLtL1 or
  79.   proposed ANSI CL.  Probably the new features most interesting
  80.   to users are SETF functions, LOOP and the WITH-
  81.   COMPILATION-UNIT macro.
  82.   + The new CMU CL compiler (Python) is more sophisticated
  83.     thatn other Common Lisp compilers.  It produces better code
  84.     and is easier to use.
  85.   + The programming environment based on the Hemlock editor
  86.     is better integrated than gnu-emacs based environments.
  87. conformance: mostly X3J13 compatible.
  88. ports:  Sparc/Mach Sparc/SunOS Mips/Mach IBMRT/Mach
  89. contact: slisp@cs.cmu.edu
  90. updated: 1993/11/18
  91.  
  92. language: Common Lisp
  93. package: PCL (Portable Common Loops)
  94. version: 8/28/92 PCL
  95. parts:  library
  96. author:  ? Richard Harris <rharris@ptolemy2.rdrc.rpi.edu> ?
  97. how to get: ftp pcl/* from parcftp.xerox.com
  98. description: A portable CLOS implementation.  CLOS is the object oriented 
  99.   programming standard for Common Lisp.  Based on Symbolics 
  100.   FLAVORS and Xerox LOOPS, among others. Loops stands for
  101.   Lisp Object Oriented Programming System.
  102. ports:  Lucid CL 4.0.1, CMUCL 16e, ?
  103. status:  ?
  104. updated: 1992/09/02
  105.  
  106. language: Common Lisp
  107. package: WCL
  108. version: 2.14
  109. parts:  ?, shared library runtime, source debugger
  110. author:  Wade Hennessey <wade@leland.Stanford.EDU>
  111. how to get: ftp pub/wcl/* from sunrise.stanford.edu
  112. description: A common lisp implementation as a shared library.  WCL
  113.   Is not a 100% complete Common Lisp, but it does have
  114.   the full development environment including dynamic file
  115.   loading and debugging. A modified version of GDB provides
  116.   mixed-language debugging.  A paper describing WCL was
  117.   published in the proceedings of the 1992 Lisp and Functional
  118.   Programming Conference. 
  119. requires: GNU C 2.1 (not 2.2.2)
  120. ports:  Sparc/SunOS
  121. discussion: <wcl-request@sunrise.stanford.edu>
  122. contact: <wcl@sunrise.stanford.edu>
  123. updated: 1992/10/28
  124.  
  125. language: Common Lisp
  126. package: KCL (Kyoto Common Lisp)
  127. version: ?
  128. parts:  compiler(->C), interpreter
  129. author:  T. Yuasa <yuasa@tutics.tut.ac.jp>, M. Hagiya 
  130.   <hagiya@is.s.u-tokyo.ac.jp> 
  131. how to get: ? ftp pub/kcl*.tar.Z from rascal.ics.utexas.edu ?
  132. description: KCL, Kyoto Common Lisp, is an implementation of Lisp,
  133.   It is written in the language C to run under Un*x-like 
  134.   operating systems.  KCL is very C-oriented; for example, 
  135.   the compilation of Lisp functions in KCL involves a 
  136.   subsidiary C compilation.
  137. conformance: conforms to the book ``Common Lisp: The Language,''
  138.   G. Steele, et al., Digital Press, 1984.  
  139. bugs:  kcl@cli.com
  140. restriction: must sign license agreement
  141. discussion: kcl-request@cli.com
  142. updated: 1987/06
  143.  
  144. language: Common Lisp
  145. package: AKCL (Austin Kyoto Common Lisp)
  146. version: 1-615
  147. parts:  improvements
  148. author:  Bill Schelter <wfs@cli.com>, <wfs@rascal.ics.utexas.edu>
  149. how to get: ftp pub/akcl-*.tar.Z from rascal.ics.utexas.edu
  150. description: AKCL is a collection of ports, bug fixes, and
  151.   performance improvements to KCL.
  152. ports:  Decstation3100, HP9000/300, i386/sysV, IBM-PS2/aix, IBM-RT/aix
  153.   SGI Sun-3/Sunos[34].* Sun-4 Sequent-Symmetry IBM370/aix,
  154.   VAX/bsd VAX/ultrix NeXT
  155. updated: 1992/04/29
  156.  
  157. language: Common Lisp
  158. package: CLX 
  159. version: 5.01
  160. parts:  library
  161. author:  ?
  162. how to get: ftp contrib/CLX.R5.01.tar.Z from export.lcs.mit.edu
  163. description: Common Lisp binding for X
  164. bugs:  bug-clx@expo.lcs.mit.edu
  165. ports:  ?, CMU Common Lisp
  166. contact: ?
  167. updated: 1992/08/26
  168.  
  169. language: Common Lisp
  170. package: CLISP
  171. version: 1993/10/06
  172. parts:  interpreter, bytecode compiler, runtime library, editor
  173. author:  Bruno Haible <haible@ma2s2.mathematik.uni-karlsruhe.de>,
  174.   Michael Stoll <michael@rhein.iam.uni-bonn.de>
  175. how to get: ftp /pub/lisp/clisp from ma2s2.mathematik.uni-karlsruhe.de
  176. description: CLISP is a Common Lisp (CLtL1) implementation by Bruno Haible
  177.   of Karlsruhe University and Michael Stoll of Munich University,
  178.   both in Germany.  It needs only 1.5 MB of RAM. German and
  179.   English versions are available, French coming soon.  Packages
  180.   running in CLISP include PCL and, on Unix machines, CLX.  A
  181.   native subset of CLOS is included.
  182. conformance: CLtL1 + parts of CLtL2
  183. restriction: GNU General Public License
  184. ports:  Atari, Amiga, MS-DOS, OS/2, Linux, Sun4, Sun386i, HP90000/800
  185.   and others
  186. discussion: send "subscribe clisp-list" to 
  187.   listserv@ma2s2.mathematik.uni-karlsruhe.de
  188. contact: Bruno Haible <haible@ma2s2.mathematik.uni-karlsruhe.de>
  189. updated: 1993/10/06
  190.  
  191. language: Common Lisp
  192. package: Cartier's Contribs
  193. version: 1.2
  194. parts:  libraries, documentation
  195. author:  Guillaume Cartier <cartier@math.uqam.ca>
  196. how to get: ftp pub/mcl2/contrib/Cartiers* from cambridge.apple.com
  197. description: libraries for MCL
  198. requires: Macintosh Common Lisp
  199. discussion: comp.lang.lisp.mcl
  200. updated: 1994/04/18
  201.  
  202. language: Common Lisp
  203. package: QT-OBJECTS
  204. version: ?
  205. parts:  library
  206. author:  Michael Travers <mt@media.mit.edu> and others
  207. how to get: ?
  208. description: interface between MCL and QuickTime
  209. requires: Macintosh Common Lisp
  210. discussion: comp.lang.lisp.mcl
  211. updated: 1994/04/18
  212.  
  213. language: Common Lisp
  214. package: Memoization ?
  215. version: ?
  216. parts:  library
  217. author:  Marty Hall <hall@aplcenmp.apl.jhu.edu>
  218. how to get: ftp pub/Memoization from archive.cs.umbc.edu
  219. description: Automatic memoization is a technique by which an existing 
  220.   function can be transformed into one that "remembers" 
  221.   previous arguments and their associated results
  222. updated: 1992/11/30
  223.  
  224. language: Common Lisp
  225. package: GINA (Generic Interactive Application) 
  226. version: 2.2
  227. parts:  language binding, class library, interface builder
  228. author:  ?
  229. how to get: ftp /gmd/gina from ftp.gmd.de 
  230.     N.America: ftp contrib/? from export.lcs.mit.edu
  231. description: GINA is an application framework based on Common Lisp and 
  232.   OSF/Motif to simplify the construction of graphical 
  233.   interactive applications. It consists of:
  234.   + CLM, a language binding for OSF/Motif in Common Lisp.
  235.   + the GINA application framework, a class library in CLOS
  236.   + the GINA interface builder, an interactive tool implemented 
  237.   with GINA to design Motif windows.
  238. requires: OSF/Motif 1.1 or better.  Common Lisp with CLX, CLOS, PCL and
  239.   processes.
  240. ports:  Franz Allegro, Lucid, CMU CL and Symbolics Genera
  241. discussion: gina-users-request@gmdzi.gmd.de
  242. updated: ?
  243.  
  244. language: Common Lisp
  245. package: CLiCC
  246. version: 0.6.2
  247. parts:  compiler(->C), runtime library
  248. author:  Heinz Knutzen <hk@informatik.uni-kiel.de>,
  249.   Ulrich Hoffman <uho@informatik.uni-kiel.de>,
  250.   Wolfgang Goerigk <wg@informatik.uni-kiel.de>
  251. how to get: ftp pub/kiel/apply/clicc* from ftp.informatik.uni-kiel.de
  252. description: A Common Lisp to C compiler, meant to be used as a supplement
  253.   to existing CLISP systems for generating portable applications.
  254.   Target C code must be linked with CLiCC runtime library to
  255.   produce executable.
  256. conformance: Subset of Common Lisp + CLOS (named: CL_0, or CommonLisp_0)
  257.   CL_0 based on CLtL1.
  258. restriction: Freely distributable and modifiable
  259. ports:  Runs in Lucid Lisp, AKCL, CLISP, ...
  260. status:  Working towards CLtL2 and ANSI-CL conformance.
  261. updated: 1994/01/04
  262.  
  263. language: Common Lisp
  264. package: Hyperlisp
  265. version: 2.1f
  266. author:  Joe Chung, MIT Media Laboratory
  267. how to get: ftp pub/mcl2/contrib/hyperlisp21f.sit.hqx 
  268.    from cambridge.apple.com
  269. description: Hyperlisp is a real-time MIDI programming environment
  270.   embedded in Macintosh Common Lisp. The environment 
  271.   was developed specifically for the Hyperinstruments project 
  272.   at the MIT Media Laboratory, and is optimized for interactive 
  273.   systems which require fast response times. Hyperlisp 
  274.   provides two main services for the music programmer: 
  275.   routines for MIDI processing and primitives for scheduling 
  276.   the application of functions. Programs written in Macintosh 
  277.   Common Lisp can use these services for a wide variety of 
  278.   real-time MIDI applications.
  279. updated: 1994/04/18
  280.  
  281. language: Franz Lisp
  282. package: Liszt?
  283. version: ?
  284. parts:  compiler(->C)
  285. author:  port to C by J W Dalton <jeff@festival.ed.ac.uk>
  286. how to get: ask author
  287. description: A version of Liszt that emits C
  288. updated: ?
  289.  
  290. language: Lisp
  291. package: RefLisp
  292. version: 2.67
  293. parts:  interpreter, documentation, examples, profiler
  294. author:  Bill Birch <bbirch@hemel.bull.co.uk>
  295. how to get: ftp implementations/reflisp/* from the directory 
  296.   /afs/cs.cmu.edu/user/mkant/Public/Lisp on ftp.cs.cmu.edu
  297. description: The interpreter is a shallow-binding (i.e., everything has
  298.   dynamic scope), reference counting design making it suitable
  299.   for experimenting with real-time and graphic user interface
  300.   programming. Common Lisp compatibility macros are provided, and
  301.   most of the examples in "Lisp" by Winston & Horn have been run
  302.   on RefLisp.  RefLisp makes no distinction between symbol-values
  303.   and function-values, so a symbol can be either but not both.
  304.   There are Lisp modules for lexical scope and for running
  305.   indefinite extent Scheme programs.
  306. ports:  MSDOS (CGA/EGA/VGA), Unix (AIX)
  307. status:  "Last Update for a While," author is emigrating to Australia
  308. updated: 1993/02/09
  309.  
  310. language: Lisp
  311. package: xlisp
  312. version: 2.1
  313. parts:  interpreter
  314. author:  David Micheal Betz <dbetz@apple.com>
  315. how to get: ftp pub/xlisp* from wasp.eng.ufl.edu
  316.     US Mail: contact Tom Almy <toma@sail.labs.tek.com>
  317.     Windows: ftp util/wxlslib.zip from ftp.cica.indiana.edu
  318.     Version2.0: ftp pub/xlisp/* from cs.orst.edu
  319.     Macintosh: ftp pub/bskendig/? from netcom.com (source comming)
  320. description: XLISP is an experimental programming language
  321.   combining some of the features of Common Lisp with an
  322.   object-oriented extension capability.  It was
  323.   implemented to allow experimentation with
  324.   object-oriented programming on small computers.
  325. conformance: subset of Common Lisp with additions of Class and Object
  326. restriction: ? no commercial use ?
  327. ports:  unix, amiga, atari, mac, MSDOS
  328. portability: very high: just needs a C compiler
  329. discussion: comp.lang.lisp.x
  330. updated: 1992/05/26 (unix), 1987/12/16 (other platforms)
  331.  
  332. language: Lisp
  333. package: "LISP, Objects, and Symbolic Programming"
  334. version: ? 
  335. parts:  book with compiler included
  336. author:  Robert R. Kessler and Amy R. Petajan,
  337.   published by Scott, Foresman and Company, Glenview, IL
  338. how to get: bookstore...
  339. description: ? (A short synopsis might help if anyone has one)
  340. updated: 1988
  341.  
  342. language: Lisp
  343. package: franz lisp
  344. version: ?
  345. parts:  ?
  346. author:  ?
  347. how to get: [does anyone know where you get franz lisp??? --ed]
  348. description: ?
  349. discussion: franz-friends-request@berkeley.edu
  350. updated: ?
  351.  
  352. language: Lisp (WOOL - Window Object Oriented Language)
  353. package: GWM (Generic Window Manager)
  354. version: ?
  355. parts:  interpreter, examples
  356. author:  ?
  357. how to get: ftp contrib/gwm/* from export.lcs.mit.edu
  358.     France: ftp pub/gwm/* from avahi.inria.fr
  359. description: Gwm is an extensible window manager for X11.  It is
  360.   based on a WOOL kernel, and interpreted dialect of lisp 
  361.   with specific winow management primitives.
  362. discussion: gwm-talk@???
  363. contact: ?
  364. updated: ?
  365.  
  366. language: Lisp (elisp - Emacs Lisp)
  367. package: ILISP
  368. version: 5.0
  369. parts:  Emacs interface
  370. author:  ?? Ivan Vazquez <ivan@haldane.bu.edu>
  371. how to get: ftp to haldane.bu.edu (128.197.54.25) in pub/ilisp/ilisp.tar.Z
  372. description: ILISP provides a somewhat lisp-machine like interface to lisp
  373.   listeners from Emacs.
  374. bugs:  ilisp-bug@darwin.bu.edu (or ilisp-bugs@darwin.bu.edu).
  375. discussion: ilisp@darwin.bu.edu
  376. support: Mailing list requests/deletions to ilisp-request@darwin.bu.edu
  377. updated: 1993/06/28
  378.  
  379. language: Lisp (elisp - Emacs Lisp)
  380. package: GNU Emacs
  381. version: 19.21
  382. parts:  editor, interpreter, documentation, source debugger
  383. author:  Richard Stallman <rms@gnu.ai.mit.edu> and others
  384. how to get: pub/gnu/emacs-19.17.tar.gz from any GNU site.
  385. description: An editor that is almost an operating system.  Quite
  386.   programmable.  And it even fits in your tackle box.
  387. bugs:  gnu.emacs.bug, e-mail to bug-gnu-emacs@prep.ai.mit.edu
  388. ports:  Unix, VMS, ?
  389. discussion: alt.religion.emacs, gnu.emacs.sources
  390. help:  gnu.emacs.help
  391. announcements: gnu.emacs.announce
  392. updated: 1993/11/16
  393.  
  394. language: Lisp
  395. iref:  (Pascal) Tim Budd's C++ implementation of Kamin's interpreters
  396.  
  397. language: Oaklisp
  398. package: oaklisp
  399. version: 1.2
  400. parts:  interface, bytecode compiler, runtime system, documentation
  401. author:  Barak Pearlmutter, Kevin Lang
  402. how to get: ftp /afs/cs.cmu.edu/user/bap/oak/ftpable/* from f.gp.cs.cmu.edu
  403. description: Oaklisp is a Scheme where everything is an object.  It 
  404.   provides multiple inheritence, a strong error system,
  405.   setters and locators for operations, and a facility for
  406.   dynamic binding.
  407. status:  actively developed?
  408. contact: Pearlmutter-Barak@CS.Yale.Edu ?
  409. updated: 1992/05 ?
  410.  
  411. language: Scheme
  412. package: Schematik
  413. version: 1.1.5.2
  414. parts:  programming environment
  415. author:  Chris Kane, Max Hailperin <max@nic.gac.edu>
  416. how to get: ftp /pub/next/scheme/* from ftp.gac.edu
  417.     Europe: ftp /pub/next/ProgLang from ftp.informatik.uni-muenchen.de
  418. description: Schematik is a NeXT front-end to MIT Scheme for
  419.   the NeXT.  It provides syntax-knowledgeable text
  420.   editing, graphics windows, and user-interface to
  421.   an underlying MIT Scheme process. It comes packaged
  422.   with MIT Scheme 7.1.3 ready to install on the NeXT.
  423. ports:  NeXT, MIT Scheme 7.1.3
  424. portability: requires NeXTSTEP
  425. contact: schematik@gac.edu
  426. updated: 1993/03/11
  427.  
  428. language: Scheme
  429. package: T
  430. version: 3.1
  431. parts:  compiler
  432. author:  ?
  433. how to get: ftp pub/systems/t3.1 from ftp.ai.mit.edu
  434. description: a Scheme-like language developed at Yale.  T is
  435.   written in itself and compiles to efficient native
  436.   code.
  437.   (A multiprocessing version of T is available from
  438.   masala.lcs.mit.edu:/pub/mult)
  439. bugs:  t3-bugs@cs.yale.edu
  440. ports:  Decstation, Sparc, sun-3, Vax(unix), Encore, HP, Apollo,
  441.   Mac (A/UX)
  442. contact: t-project@cs.yale.edu.
  443. updated: 1991/11/26
  444.  
  445. language: Scheme
  446. package: scm
  447. version: 4c5
  448. parts:  interpreter, conformance test, documentation
  449. author:  Aubrey Jaffer <jaffer@zurich.ai.mit.edu>
  450. how to get: ftp archive/scm/scm* from altdorf.ai.mit.edu
  451.     Canada: ftp pub/oz/scheme/new/* from nexus.yorku.ca
  452.     Europe: ftp pub/bosullvn/jacal/* from ftp.maths.tcd.ie
  453. description: ?
  454. conformance: Scm conforms to the Revised^4 Report
  455. restriction: GNU General Public License
  456. ports:  unix, amiga, atari, mac, MSDOS, nos/ve, vms
  457. status:  actively developed
  458. contributions: send $$$ to Aubrey Jaffer, 84 Pleasant St., Wakefield, MA 01880
  459. updated: 1993/10/05
  460.  
  461. language: Scheme
  462. package: Scheme Library (slib)
  463. version: 1d5
  464. parts:  library, documentation
  465. author:  ?
  466. how to get: ftp archive/scm/slib*.tar.Z from altdorf.ai.mit.edu
  467. description: SLIB is a portable scheme library meant to provide 
  468.   compatibiliy and utility functions for all standard scheme 
  469.   implementations.
  470. ports:  Scm4b, Chez, ELK 1.5, GAMBIT, MITScheme, Scheme->C, 
  471.   Scheme48, T3.1.
  472. status:  actively developed
  473. contact: Aubrey Jaffer <jaffer@zurich.ai.mit.edu>
  474. updated: 1993/10/09
  475.  
  476. language: Scheme
  477. package: Hobbit
  478. version: release 2
  479. parts:  compiler(->C), documentation
  480. author:  Tanel Tammet <tammet@cs.chalmers.se>
  481. how to get: ftp archive/scm/hobbit2.tar.Z from altdorf.ai.mit.edu
  482. description: The main aim of hobbit is to produce maximally fast C programs
  483.   which would retain most of the original Scheme program
  484.   structure, making the output C program readable and modifiable.
  485.   Hobbit is written in Scheme and is able to self-compile.
  486.   Hobbit release 1 works together with the scm release scm4b3. 
  487.   Future releases of scm and hobbit will be coordinated.
  488. requires: scm 4b3
  489. updated: 1993/04/25
  490.  
  491. language: Scheme
  492. package: siod (Scheme In One Day, or Scheme In One Defun)
  493. version: 3.0
  494. parts:  interpreter,library,documentation,sql interface
  495. author:  George Carrette <gjc@world.std.com>
  496. how to get: ftp pub/gjc/siod* from world.std.com
  497. description: Small scheme implementation in C arranged as a set of
  498.   subroutines that can be called from any main program
  499.   for the purpose of introducing an interpreted extension
  500.   language.  Compiles to 20K bytes of executable (VAX/VMS).
  501.   Lisp calls C and C calls Lisp transparently.
  502. features: symbols,strings,arrays,hash tables, file i/o binary/text/seek,
  503.   data save/restore in binary and text, interface to commercial
  504.   databases such Oracle, Digital RDB.
  505. ports:  VAX/VMS, VAX Unix, Sun3, Sun4, Amiga, Macintosh, MIPS, Cray,
  506.   ALPHA/VMS, Windows NT, OS/2.
  507. portability: Liked by ANSI C compilers and C++ compilers. e.g. gcc -Wall
  508. restriction: none besides non-removal of copyright notice.
  509. status:  supported as benchmark/testbed at mitech.com
  510. help:  the author will help anyone building something.
  511. contributions: antique/classic computer hardware, perhaps.
  512. announcements: comp.lang.scheme
  513. updated: 1994/02/18
  514.  
  515. anguage: Scheme
  516. package: MIT Scheme (aka C-Scheme)
  517. version: 7.2
  518. parts:  interpreter, large runtime library, emacs macros, 
  519.   native-code compiler, emacs-like editor, source-level debugger
  520. author:  MIT Scheme Team (primarily Chris Hanson, Jim Miller, and
  521.   Bill Rozas, but also many others)
  522. how to get: ftp archive/scheme-7.2 from altdorf.ai.mit.edu 
  523.   DOS floppies ($95) and Unix tar tapes ($200) from 
  524.   Scheme Team / c/o Prof. Hal Abelson / MIT AI Laboratory /
  525.   545 Technology Sq. / Cambridge, MA 02139
  526. description: Scheme implementation with rich set of utilities.
  527. conformance: full compatibility with Revised^4 Report on Scheme, 
  528.   one known incompatibility with IEEE Scheme standard
  529. bugs:  bug-cscheme@zurich.ai.mit.edu
  530. ports:  68k (hp9000, sun3, NeXT), MIPS (Decstation, Sony, SGI), 
  531.   HP-PA (600, 700, 800), Vax (Ultrix, BSD), Alpha (OSF), 
  532.   i386 (DOS/Windows, various Unix)
  533. status:  activly developed
  534. discussion: info-cscheme@zurich.ai.mit.edu 
  535.   (cross-posted to comp.lang.scheme.c)
  536. updated: 1992/08/24
  537.  
  538. language: Scheme
  539. package: Scheme->C
  540. version: 15mar93
  541. parts:  compiler(->C)
  542. author:  Digital Western Research Laboratory; Joel Bartlett
  543. how to get: ftp pub/DEC/Scheme-to-C/* from gatekeeper.dec.com
  544. description: Translates Revised**4 Scheme to C that is then compiled
  545.   by the native C compiler for the target machine.  This
  546.   design results in a portable system that allows either
  547.   stand-alone Scheme programs or programs written in both
  548.   compiled and interpreted Scheme and other languages.
  549. conformance: superset of Revised**4
  550.   + "expansion passing style" macros
  551.   + foreign function call capability
  552.   + interfaces to Xlib (Ezd & Scix)
  553.   + records
  554. reference: send Subject "help" to WRL-Techreports@decwrl.dec.com
  555.   for technical report.  Other documentation in
  556.   Scheme-to-C directory on gatekeeper.
  557. ports:  VAX/ULTRIX, DECstation ULTRIX, Alpha AXP OSF/1,
  558.   Microsoft Windows 3.1, Apple Macintosh 7.1,
  559.   HP 9000/300, HP 9000/700, Sony News, SGI Iris and
  560.   Harris Nighthawk and other Unix-like m88k systems.
  561.   The 01nov91 version is also available on Amiga, SunOS,
  562.   NeXT, and Apollo systems.
  563. status:  actively developed, contributed ports welcomed
  564. updated: 1993/03/15
  565.  
  566. language: Scheme, Tk
  567. package: STk
  568. version: 1.00
  569. parts:  interpreter
  570. author:  Gallesio Erick <eg@unice.fr>
  571. how to get: ftp pub/STk-1.00.tar.gz from kaolin.unice.fr
  572. description: A Scheme interpreter blended with Ousterhout's Tk package.  
  573.   STk expresses all of Tk as scheme objects.  STk includes
  574.   a CLOS/Dylan-like OO extenstion, but the extension is slow.
  575. conformance: almost R4RS
  576. ports:  SunOS 4.1.x, Ultrix/MIPS
  577. updated: 1993/09/06
  578.  
  579. language: Scheme
  580. package: PC-Scheme
  581. version: 3.03
  582. parts:  compiler, debugger, profiler, editor, libraries
  583. author:  Texas Instruments
  584. how to get: ftp archive/pc-scheme/* from altdorf.ai.mit.edu
  585. description: Written by Texas Instruments. Runs on MS-DOS 286/386 IBM PCs
  586.   and compatibles.  Includes an optimizing compiler, an
  587.   emacs-like editor, inspector, debugger, performance testing,
  588.   foreign function interface, window system and an
  589.   object-oriented subsystem.  Also supports the dialect used in
  590.   Abelson and Sussman's SICP.  
  591. conformance: Revised^3 Report, also supports dialect used in SICP.
  592. restriction: official version is $95, contact rww@ibuki.com
  593. ports:  MSDOS
  594. updated: 1992/02/23
  595.  
  596. language: Scheme
  597. package: PCS/Geneva
  598. version: 4.02PL1
  599. parts:  compiler, debugger, profiler, editor, libraries
  600. author:  "a team at the u. of Geneva"
  601. how to get: send email to schemege@uni2a.unige.ch
  602. description: PCS/Geneva is a cleaned-up version of Texas Instrument's PC
  603.   Scheme developed at the University of Geneva. The main
  604.   extensions to PC Scheme are 486 support, BGI graphics, LIM-EMS
  605.   pagination support, line editing, and assembly-level
  606.   interfacing.
  607. contact: schemege@uni2a.unige.ch
  608. updated: 1994/01/11
  609.  
  610. language: Scheme
  611. package: Gambit Scheme System
  612. version: 2.0
  613. parts:  interpreter, compiler, linker, libraries
  614. author:  Marc Feeley <feeley@iro.umontreal.ca>
  615. how to get: ftp pub/parallele/gambit/* from ftp.iro.umontreal.ca
  616. description: Gambit is an optimizing Scheme compiler/system.  The
  617.   Macintosh port can run with Toolbox and has a built-in
  618.   editor.
  619. conformance: IEEE Scheme standard and `future' construct.
  620. ports:  68k: unix, sun3, hp300, bbn gp100, NeXT, Macintosh
  621. updated: ?
  622.  
  623. language: Scheme
  624. package: Elk (Extension Language Kit)
  625. version: 2.2
  626. parts:  interpreter, libraries
  627. author:  Oliver Laumann <net@cs.tu-berlin.de>, Carsten Bormann
  628.   <cabo@cs.tu-berlin.de> 
  629. how to get: ftp pub/unix/languages/scheme/elk-2.2.tar.gz from 
  630.   ftp.fu-berlin.de
  631.     N.America: ftp contrib/elk-2.2.tar.gz from ftp.x.org
  632. description: Elk is a Scheme interpreter designed to be used as a 
  633.   general extension language.
  634.   + interfaces to Xlib, Xt, and various widget sets.
  635.   + dynamic loading of extensions
  636.   + almost all artificial limitations removed
  637.   + generational/incremental garbage collector
  638.   + Unix system call extensions
  639.   + Records (structures)
  640.   + bitstrings
  641. conformance: Mostly R3RS compatable.
  642. ports:  unix, ultrix, vax, sun3, sun4, 68k, i386, mips, ibm rt, 
  643.   rs6000, hp700, sgi, sony, DOS (gcc+DJGPP or go32)
  644. updated: 1994/2/15
  645.  
  646. language: Scheme
  647. package: ezd - easy drawing for programs on X displays
  648. version: 15mar93
  649. parts:  interpreter/server
  650. author:  ?
  651. how to get: ftp pub/DEC/ezd/* from gatekeeper.dec.com
  652. description: Ezd is a graphics server that sits between an application
  653.   program and the X server and allows both existing and new
  654.   programs easy access to structured graphics.  Ezd users have
  655.   been able to have their programs produce interactive drawings
  656.   within hours of reading the man page.  Structured graphics:
  657.   application defined graphical objects are ordered into drawings
  658.   by the application.  Loose coupling to the application
  659.   program:  unlike most X tools, ezd does not require any event
  660.   handling by the application.  The ezd server mantains window
  661.   contents.  When an event occurs on such an object, an
  662.   application supplied Scheme expression is evaluated.
  663. contact: Joel Bartlett <bartlett@decwrl.dec.com> ?
  664. updated: 1993/03/10
  665.  
  666. language: Scheme
  667. package: XScheme
  668. version: 0.28
  669. parts:  ?
  670. author:  David Betz <dbetz@apple.com>
  671. how to get: ftp pub/scheme/* from nexus.yorku.ca
  672. description: ?
  673. discussion: comp.lang.lisp.x
  674. contact: ?
  675. updated: 1992/02/02
  676.  
  677. language: Scheme
  678. package: Fools' Lisp
  679. version: 1.3.2
  680. parts:  ?
  681. author:  Jonathan Lee <jonathan@scam.berkeley.edu>
  682. how to get: ftp src/local/fools.tar.Z from scam.berkeley.edu
  683. description: a small Scheme interpreter that is R4RS conformant.
  684. ports:  Sun-3, Sun-4, Decstation, Vax (ultrix), Sequent, Apollo
  685. updated: 1991/10/31
  686.  
  687. language: Scheme
  688. package: Scheme88
  689. version: ?
  690. parts:  ?
  691. author:  ?
  692. how to get: ftp pub/scheme/* from nexus.yorku.ca
  693. description: ?
  694. contact: ?
  695. updated: ?
  696.  
  697. language: Scheme
  698. package: UMB Scheme
  699. version: ?
  700. parts:  ?, editor, debugger
  701. author:  William Campbell <bill@cs.umb.edu>
  702. how to get: ftp pub/scheme/* from nexus.yorku.ca
  703. description: ?
  704. conformance: R4RS Scheme
  705. ports:  ?
  706. updated: ?
  707.  
  708. language: Scheme
  709. package: PseudoScheme
  710. version: 2.8
  711. parts:  translator(Common Lisp)
  712. author:  Jonathan Rees <jar@cs.cornell.edu>
  713. how to get: ?
  714. description: ?
  715. conformance: R3RS except call/cc.
  716. requires: Common Lisp
  717. ports:  Lucid, Symbolics CL, VAX Lisp, Explorer CL
  718. announcements: info-clscheme-request@mc.lcs.mit.edu
  719. updated: ?
  720.  
  721. language: Scheme
  722. package: SOS (Scheme Object System)
  723. version: ?
  724. author:  Chris Hanson ?
  725. parts:  ?
  726. how to get: ftp archive/cph/sos.tar.gz from altdorf.ai.mit.edu
  727. description: ?
  728. update:  ?
  729.  
  730. language: Scheme
  731. package: Similix
  732. version: 5.0
  733. parts:  partial evaulator, debugger
  734. author:  Anders Bondorf <anders@diku.dk>
  735. how to get: ftp pub/diku/dists/Similix.tar.Z from ftp.diku.dk
  736. description: Similix is an autoprojector (self-applicable partial 
  737.   evaluator) for a higher order subset of the strict functional 
  738.   language Scheme.  Similix handles programs with user defined 
  739.   primitive abstract data type operators which may process 
  740.   global variables (such as input/output operators).
  741. conformance: extension of large subset of R4RS Scheme.
  742. requires: Scheme
  743. ports:  Scm, Chez Scheme
  744. portability: high
  745. contact: Anders Bondorf <anders@diku.dk>
  746. updated: 1993/05/18
  747.  
  748. language: Scheme
  749. package: syntax-case
  750. version: 2.1
  751. parts:  macro system, documentation
  752. author:  R. Kent Dybvig <dyb@cs.indiana.edu>
  753. how to get: ftp pub/scheme/syntax-case.tar.Z from iuvax.cs.indiana.edu
  754.     Macintosh: /pub/mac/gambit/ from maya.dei.unipd.it.
  755. description: We have designed and implemented a macro system that is
  756.   vastly superior to the low-level system described in
  757.   the Revised^4 Report; in fact, it essentially
  758.   eliminates the low level altogether.  We also believe
  759.   it to be superior to the other proposed low-level
  760.   systems as well, but each of you can judge that for
  761.   yourself.  We have accomplished this by "lowering the
  762.   level" of the high-level system slightly, making
  763.   pattern variables ordinary identifiers with essentially
  764.   the same status as lexical variable names and macro
  765.   keywords, and by making "syntax" recognize and handle
  766.   references to pattern variables.
  767. reference: + Robert Hieb, R. Kent Dybvig, and Carl Bruggeman "Syntactic
  768.   Abstraction in Scheme", IUCS TR #355, 6/92 (revised 7/3/92)
  769.   + R. Kent Dybvig, "Writing Hygienic Macros in Scheme with
  770.   Syntax-Case", IUCS TR #356, 6/92 (revised 7/3/92).
  771. ports:  Chez Scheme, Mac port runs under MacGambit 2.0
  772. updated: 1992/07/06
  773.  
  774. language: Scheme
  775. package: x-scm
  776. version: ?
  777. parts:  ?
  778. author:  Larry Campbell <campbell@redsox.bsw.com>
  779. how to get: alt.sources archive
  780. description: x-scm is a bolt-on accessory for the "scm" Scheme interpreter 
  781.   that provides a handy environment for building Motif and 
  782.   OpenLook applications. (There is some support as well for raw 
  783.   Xlib applications, but not enough yet to be useful.)
  784. requires: scm, X
  785. ports:  ?
  786. updated: 1992/08/10
  787.  
  788. language: Scheme, Prolog
  789. package: "Paradigms of AI Programming"
  790. version: ?
  791. parts:  book with interpreters and compilers in Common Lisp
  792. author:  Peter Norvig
  793. how to get: bookstore, and ftp pub/norvig/* from unix.sri.com
  794. description: ?
  795. updated: ?
  796.  
  797. language: Scheme
  798. package: Psd (Portable Scheme Debugger)
  799. version: 1.1
  800. parts:  debugger
  801. author:  Kellom{ki Pertti <pk@cs.tut.fi>
  802. how to get: ftp pub/src/languages/schemes/psd.tar.Z from cs.tut.fi
  803. description: source code debugging from emacs
  804. restriction: GNU GPL
  805. requires: R4RS compliant Scheme, GNU Emacs.
  806. ports:  scm, Elk, Scheme->C
  807. updated: 1992/10/08
  808.  
  809. language: Scheme
  810. package: Tiny Clos
  811. version: first release
  812. parts:  ?
  813. author:  ?
  814. how to get: ftp pub/mops/* from parcftp.xerox.com
  815. description: A core part of CLOS (Common Lisp Object System) ported to
  816.   Scheme and rebuilt using a MOP (Metaobject Protocol).
  817.   This should be interesting to those who want to use MOPs
  818.   without using a full Common Lisp or Dylan.
  819. ports:  MIT Scheme 11.74
  820. discussion: mailing list: mops, administered by gregor@parc.xerox.com
  821. contact: Gregor Kiczales <gregor@parc.xerox.com>
  822. updated: 1992/12/14
  823.  
  824. language: Scheme
  825. package: VSCM 
  826. version: II Nov9
  827. parts:  runtime, bytecode compiler
  828. author:  Matthias Blume <blume@cs.princeton.edu>
  829. how to get: ftp pub/scheme/imp/vscmII*.tar.Z from nexus.yorku.ca
  830.     de:  ftp pub/scheme/yorku/imp/vscmII*
  831.   from faui80.informatik.uni-erlangen.de
  832.     uk:  ftp pub/uunet/languages/lisp/scheme/repository/imp/vscmII*
  833.   from unix.hensa.ac.uk
  834. description: VSCM is a highly portable implementation of Scheme, written in
  835.   ANSI C and Scheme.  Portability is achieved by exlusive use of
  836.   legal ANSI C features -- as opposed to a plethora of #ifdef's
  837.   to adjust to various system peculiarities.  (Of course, in real
  838.   life ANSI C doesn't guarantee portability per se, because there
  839.   are too many systems with broken compilers or broken
  840.   libraries.)
  841. features: exception and interrupt handling, executable portable memory 
  842.   images, coroutines, continuations with multiple arguments
  843. conformance: R4RS, IEEE P1178
  844. ports:  Unix, Macintosh
  845. portability: very high
  846. status:  actively developed
  847. discussion: comp.lang.scheme
  848. updated: 1993/11/09
  849.  
  850. language: Scheme
  851. package: PSI
  852. version: pre-release
  853. parts:  interpreter, virtual machine
  854. author:  Ozan Yigit <oz@ursa.sis.yorku.ca>, David Keldsen, Pontus Hedman
  855. how to get: from author
  856. description: I am looking for a few interested language hackers to play with
  857.   and comment on a scheme interpreter. I would prefer those who
  858.   have been hacking portable [non-scheme] interpreters for many
  859.   years. The interpreter is PSI, a portable scheme interpreter
  860.   that includes a simple dag compiler and a virtual machine.  It
  861.   can be used as an integrated extension interpreter in other
  862.   systems, allows for easy addition of new primitives, and it
  863.   embodies some other interesting ideas. There are some unique[2]
  864.   code debug/trace facilities, as well, acceptable performance
  865.   resulting from a fairly straight-forward implementation.
  866.   Continuations are fully and portably supported, and perform
  867.   well.  PSI is based on the simple compilers/vm in Kent 
  868.   Dbyvig's thesis.
  869. conformance: R^4RS compatible with a number of useful extensions.
  870. updated: 1993/02/19
  871.  
  872. language: Scheme
  873. package: Bigloo
  874. version: 1.4
  875. parts:  interpreter, compiler(->ANSI C), runtime
  876. author:  Manuel Serrano <Manuel.Serrano@inria.fr>
  877. how to get: ftp INRIA/Projects/icsla/Implementations/bigl* from ftp.inria.fr
  878. description: The main goal of Bigloo is to deliver small and fast stand 
  879.   alone applications.
  880. features: Optimization supported.
  881. conformance: IEEE Scheme standard with some extensions for regex handling
  882. ports:  sun, sony news, sgi, linux, hp-ux
  883. portability: very high for unix systems
  884. updated: 1993/09/08
  885.  
  886. language: Scheme
  887. package: Scheme84
  888. version: ?
  889. parts:  ?
  890. author:  ?
  891. how to get: Send a tape w/return postage to: Scheme84 Distribution /
  892.   Nancy Garrett / c/o Dan Friedman / Department of Computer
  893.   Science / Indiana University / Bloomington, Indiana.  Call
  894.   1-812-335-9770.
  895. description: ?
  896. requires: VAX, Franz Lisp, VMS or BSD
  897. contact: nlg@indiana.edu
  898. updated: ?
  899.  
  900. language: Scheme
  901. iref:  (Pascal) Tim Budd's C++ implementation of Kamin's interpreters
  902.  
  903. Wirth family languages
  904. ------------------------------------------------------------------------------
  905. category: Wirth family languages
  906. description: These are the langauges that were either designed by Niklaus
  907.   Wirth are are descended from them.  
  908. lref:  IFP
  909.  
  910. language: CLU
  911. iref:  (Pascal) Tim Budd's C++ implementation of Kamin's interpreters
  912.  
  913. language: Modula-2, Pascal
  914. package: m2
  915. version: ? 7/2/92 ?
  916. parts:  ? compiler ?
  917. author:  Michael L. Powell.  See description below.
  918. how to get: ftp pub/DEC/Modula-2/m2.tar.Z from gatekeeper.dec.com
  919. description: A modula-2 compiler for VAX and MIPS.  A Pascal
  920.   compiler for VAX is also included.  The Pascal compiler
  921.   accepts a language that is almost identical to Berkeley
  922.   Pascal.  It was originally designed and built by Michael L.
  923.   Powell, in 1984.  Joel McCormack made it faster, fixed lots of
  924.   bugs, and swiped/wrote a User's Manual.  Len Lattanzi ported it
  925.   to the MIPS.
  926. conformance: extensions: 
  927.   + foreign function and data interface
  928.   + dynamic array variables
  929.   + subarray parameters
  930.   + multi-dimensional open array parameters
  931.   + inline proceedures
  932.   + longfloat type
  933.   + type-checked interface to C library I/O routines
  934. restriction: must pass changes back to Digital
  935. ports:  vax (ultrix, bsd), mips (ultrix)
  936. contact: modula-2@decwrl.pa.dec.com
  937. updated: 1992/07/06
  938.  
  939. language: Modula-2
  940. package: Ulm's Modula-2 System
  941. version: 2.2.1
  942. parts:  compiler, library, tools
  943. author:  Andreas Borchert <borchert@mathematik.uni-ulm.de>
  944.   compiler derived from the ETHZ compiler for the Lilith system
  945. how to get: ftp pub/soft/modula/ulm/sun3/modula-2.2.1.tar.Z from
  946.   titania.mathematik.uni-ulm.de. Please get the READ_ME too.
  947. description: ?
  948. conformance: PIM3
  949. restriction: commercial use requires licence;
  950.   compiler sources available by separate licence agreement
  951.   (licence fee is not required if it is possible to
  952.   transfer the sources across the network)
  953. requires: gas-1.36 (to be found in the same directory)
  954. ports:  Sun3, Nixdorf Targon/31, Concurrent 3200 Series
  955. contact: Andreas Borchert <borchert@mathematik.uni-ulm.de>
  956. updated: 1992/03/02 
  957.  
  958. language: Modula-2
  959. package: mtc
  960. version: ?
  961. parts:  translator(C)
  962. author:  ?
  963. how to get: ftp pub/unix/programming/compilerbau/mtc.tar.Z 
  964.   from ftp.uni-stuttgart.de 
  965. description: A Modula-2 to C translator
  966. ports:  ?
  967. updated: 1994/04/29
  968.  
  969. language: Modula-2
  970. package: mocka
  971. version: 9404
  972. parts:  compiler, library, examples, docs
  973. author:  ? Holger Hopp <hopp@ira.uka.de>
  974. how to get: ftp /pub/mocka/linux/mocka9404* from i44.s10.ira.uka.de 
  975.   or ftp /pub/Linux/devel/modula-2/mocka9404* 
  976.    from sunsite.unc.edu
  977. description: A free version of a Modula-2 compiler for the Intel X86
  978.   under Linux or 386BSD (and derivatives?). Source code
  979.   in Modula-2 is available.
  980. ports:  Linux and 386BSD (also commercial versions)
  981. updated: 1994/04/29
  982.  
  983. language: Modula-2, Modula-3
  984. package: M2toM3
  985. version: 1.01
  986. parts:  translator(Modula-2 -> Modula-3), libraries
  987. author:  Peter Klein <pk@i3.informatik.rwth-aachen.de>
  988. how to get: ftp pub/Modula3 from martha.informatik.rwth-aachen.de
  989. description: M2toM3 is a simple Modula-2 to Modula-3 translator which
  990.   covers most of the syntactic differences between those
  991.   languages.  No context sensitive analysis is done, so WITH
  992.   statements, local modules, enumeration type literals and
  993.   variant RECORDS have to be dealt with by hand.
  994.   Part of the SUN Modula 2 library is emulated by the Modula 3
  995.   library
  996. requires: a Modula-3 system
  997. updated: 1992/12
  998.  
  999. language: pm2
  1000. package: PRAM emulator and parallel modula-2 compiler ??
  1001. version: ?
  1002. parts:  compiler, emulator
  1003. author:  ?
  1004. how to get: ftp pub/pram/* from cs.joensuu.fi
  1005. description: A software emulator for parallel random access machine (PRAM)
  1006.   and a parallel modula-2 compiler for the emulator.  A PRAM
  1007.   consists of P processors, an unbounded shared memory, and a
  1008.   common clock. Each processor is a random access machine (RAM)
  1009.   consisting of R registers, a program counter, and a read-only
  1010.   signature register. Each RAM has an identical program, but the
  1011.   RAMs can branch to different parts of the program. The RAMs
  1012.   execute the program synchronously one instruction in one clock
  1013.   cycle.
  1014.   pm2 programming language is Modula-2/Pascal mixture having
  1015.   extensions for parallel execution in a PRAM. Parallelism is
  1016.   expressed by pardo-loop- structure. Additional features include
  1017.   privat/shared variables, two synchronization strategies, load
  1018.   balancing and parallel dynamic memory allocation.
  1019. contact: Simo Juvaste <sjuva@cs.joensuu.fi>
  1020. updated: 1993/02/17
  1021.  
  1022. language: Modula-3
  1023. package: SRC Modula-3
  1024. version: 2.11
  1025. parts:  compiler(->C), runtime, library, documentation
  1026. author:  ?
  1027. how to get: ftp pub/DEC/Modula-3/m3-*.tar.Z from gatekeeper.dec.com
  1028.     MS-DOS: ftp pub/DEC/Modula-3/contrib/m3pc* from gatekeeper.dec.com
  1029. description: The goal of Modula-3 is to be as simple and safe as it
  1030.   can be while meeting the needs of modern systems
  1031.   programmers.  Instead of exploring new features, we
  1032.   studied the features of the Modula family of languages
  1033.   that have proven themselves in practice and tried to
  1034.   simplify them into a harmonious language.  We found
  1035.   that most of the successful features were aimed at one
  1036.   of two main goals: greater robustness, and a simpler,
  1037.   more systematic type system.  Modula-3 retains one of
  1038.   Modula-2's most successful features, the provision for
  1039.   explicit interfaces between modules.  It adds objects
  1040.   and classes, exception handling, garbage collection,
  1041.   lightweight processes (or threads), and the isolation
  1042.   of unsafe features.
  1043. conformance: implements the language defined in SPwM3.
  1044. ports:  i386/AIX 68020/DomainOS Acorn/RISCiX MIPS/Ultrix 68020/HP-UX
  1045.   RS6000/AIX IBMRT/4.3 68000/NextStep i860/SVR4 SPARC/SunOS
  1046.   68020/SunOS sun386/SunOS Multimax/4.3 VAX/Ultrix
  1047. discussion: comp.lang.modula3
  1048. contact: Bill Kalsow <kalsow@src.dec.com>
  1049. updated: 1992/02/09
  1050.  
  1051. language: Oberon2
  1052. package: Oberon-2 LEX/YACC definition 
  1053. version: 1.4
  1054. parts:  parser(yacc), scanner(lex)
  1055. author:  Stephen J Bevan <bevan@cs.man.ac.uk>
  1056. how to get: ftp pub/oberon/tools/o2lexyac.tar.Z from ftp.psg.com
  1057.   or mail bevan@cs.man.ac.uk with Subject "b-server-request~
  1058.   and body "send oberon/oberon_2_p_v1.4.shar"
  1059. description: A LEX and YACC grammar for Oberon 2 based on the one given
  1060.   in the listed reference.
  1061. reference: The Programming Language Oberon-2
  1062.   H. M\"{o}ssenb\"{o}ck, N. Wirth
  1063.   Institut f\"{u}r Computersysteme, ETH Z\"{u}rich
  1064.   January 1992
  1065.   ftp Oberon/Docu/Oberon2.Report.ps.Z from neptune.inf.ethz.ch
  1066. restriction: Portions of the source under copyright by U. Manchester.
  1067. status:  un-officially supported
  1068. updated: 1992/07/06
  1069.  
  1070. language: Oberon
  1071. package: Ceres workstation Oberon System
  1072. version: ?
  1073. parts:  compiler
  1074. author:  ?
  1075. how to get: ftp Oberon/? from neptune.ethz.ch
  1076. description: file format is Oberon, binary header
  1077. status:  The sources to the various _full_ implementations are indeed
  1078.   not available but the source to most of the complete Ceres
  1079.   workstation Oberon System, including NS32032 code generator but
  1080.   less low level system specific is available. This includes the
  1081.   complete Oberon compiler written in Oberon.
  1082. updated: ?
  1083.  
  1084. language: Parallaxis
  1085. package: parallaxis
  1086. version: 2.0
  1087. parts:  ?, simulator, x-based profiler
  1088. author:  ?
  1089. how to get: ftp pub/parallaxis from ftp.informatik.uni-stuttgart.de
  1090. description: Parallaxis is a procedural programming language based
  1091.   on Modula-2, but extended for data parallel (SIMD) programming.
  1092.   The main approach for machine independent parallel programming 
  1093.   is to include a description of the virtual parallel machine 
  1094.   with each parallel algorithm.
  1095. ports:  MP-1, CM-2, Sun-3, Sun-4, DECstation, HP 700, RS/6000
  1096. contact: ? Thomas Braunl <braunl@informatik.uni-stuttgart.de> ?
  1097. updated: 1992/10/23
  1098.  
  1099. language: Pascal
  1100. package: p2c
  1101. version: 1.20
  1102. parts:  translator(Pascal->C)
  1103. author:  Dave Gillespie <daveg@synaptics.com>
  1104. how to get: ftp ? from csvax.cs.caltech.edu
  1105. description: ?
  1106. conformance: supports ANSI/ISO standard Pascal as well as substantial 
  1107.   subsets of HP, Turbo, VAX, and many other Pascal dialects.
  1108. ports:  ?
  1109. updated: 1990/04/13
  1110.  
  1111. language: Pascal
  1112. package: Pascal P4 compiler and interpreter
  1113. version: ? 1
  1114. parts:  compiler, assembler/interpreter, documentation
  1115. author:  Urs Ammann, Kesav Nori, Christian Jacobi
  1116. how to get: ftp pascal/* from ftp.cwi.nl
  1117. description: A compiler for Pascal written in Pascal, producing an
  1118.   intermediate code, with an assembler and interpreter
  1119.   for the code.
  1120. reference: Pascal Implementation, by Steven Pemberton and Martin
  1121.   Daniels, published by Ellis Horwood, Chichester, UK
  1122.   (an imprint of Prentice Hall), ISBN: 0-13-653-0311.
  1123.   Also available in Japanese.
  1124. contact: Steven.Pemberton@cwi.nl
  1125. updated: 1993/07/05
  1126.  
  1127. language: Pascal
  1128. package: ? iso_pascal ?
  1129. version: ?
  1130. parts:  scanner(lex), parser(yacc)
  1131. author:  ?
  1132. how to get: comp.sources.unix archive volume 13
  1133. description: ?
  1134. updated: ?
  1135.  
  1136. language: Pascal
  1137. package: pasos2
  1138. version: Alpha
  1139. parts:  Compiler, run-time library
  1140. author:  Willem Jan Withagen <wjw@eb.ele.tue.nl>
  1141. how to get: ftp pub/src/pascal/pasos2* from ftp.eb.ele.tue.nl
  1142. description: a PASCAL/i386 compiler which generates 
  1143.   code for OS/2 and DOS. It uses EMX as DOS extender and GNU/GAS, 
  1144.   MASM or TASM as assembler.
  1145. updated: 1993/12/17
  1146.  
  1147. language: Pascal
  1148. package: ptc
  1149. version: ?
  1150. parts:  translator(Pascal->C)
  1151. author:  ?
  1152. how to get: ftp languages/ptc from uxc.sco.uiuc.edu ?  (use archie?)
  1153. description: ?
  1154. contact: ?
  1155. updated: ?
  1156.  
  1157. language: Turbo Pascal, Turbo C
  1158. package: tptc
  1159. version: ?
  1160. parts:  translator(Turbo Pascal->Turbo C)
  1161. author:  ?
  1162. how to get: ftp mirrors/msdos/turbopas/tptc17*.zip from wuarchive.wustl.edu
  1163. description: (It does come with full source and a student recently used it
  1164.   as a start for a language that included stacks and queues as a
  1165.   built-in data type.
  1166. contact: ?
  1167. updated: ?
  1168.  
  1169. language: Pascal
  1170. iref:  (Pascal) Tim Budd's C++ implementation of Kamin's interpreters
  1171.  
  1172.  
  1173. logic programming languages
  1174. -------------------------------------------------------------------------------
  1175. category: logic programming languages
  1176. description: langauges designed to manipulate logic predicates.  Often
  1177.   used to build expert systems
  1178.  
  1179. language: BABYLON (Prolog variant???)
  1180. package: BABYLON
  1181. version: ?
  1182. parts:  development environment
  1183. author:  ?
  1184. how to get: ftp gmd/ai-research/Software/* from gmdzi.gmd.de
  1185. description: BABYLON is a development environment for expert systems. It
  1186.   includes frames, constraints, a prolog-like logic formalism, 
  1187.   and a description language for diagnostic applications. 
  1188. requires: Common Lisp
  1189. ports:  many ?
  1190. contact: ?
  1191. updated: ?
  1192.  
  1193. language: Goedel
  1194. package: Goedel
  1195. version: 1.3
  1196. parts:  book, compiler, user manual, system modules, example programs
  1197. author:  Jiwei Wang <jiwei@lapu.bristol.ac.uk>
  1198. how to get: ftp pub/logic-prgm/goedel/? from ftp.cs.kuleuven.ac.be
  1199.   or ftp goedel/? from ftp.cs.bris.ac.uk 
  1200. description: An implementation of a significant subset of Goedel. Goedel is 
  1201.   a declarative, general-purpose strongly-typed logic programming
  1202.   language.  The type system is based on many-sorted logic with
  1203.   parametric polymorphism.  Modularity is supported, as well as
  1204.   infinite precision arithmetic, limited constraint satisfaction,
  1205.   and finite sets.
  1206. requires: SICStus Prolog version 2.1 #6 (or later).  Run time system for
  1207.   SPARCstation provided, though.
  1208. contact: goedel@compsci.bristol.ac.uk
  1209. status:  completing development over the next year.
  1210. updated: 1993/06/30
  1211.  
  1212. language: Janus
  1213. package: qdjanus
  1214. version: 1.3
  1215. parts:  translator(prolog)
  1216. author:  Saumya Debray <debray@cs.arizona.edu>
  1217. how to get: ftp janus/qdjanus/* from cs.arizona.edu
  1218. description: janus is a janus-to-prolog compiler meant to be used 
  1219.   with Sicstus Prolog
  1220. conformance: mostly compliant with "Programming in Janus" by 
  1221.   Saraswat, Kahn, and Levy.
  1222. updated: 1992/05/18
  1223.  
  1224. language: Janus
  1225. package: jc
  1226. version: 1.50 alpha
  1227. parts:  compiler(->C)
  1228. author:  David Gudeman <gudeman@cs.arizona.edu>
  1229. how to get: ftp janus/jc/* from cs.arizona.edu
  1230. description: jc is a janus-to-C compiler (considerably faster than qdjanus).
  1231.   jc is a _sequential_ implementation of a _concurrent_ language.
  1232. bugs:  jc-bugs@cs.arizona.edu
  1233. ports:  sun-4, sun-3, Sequent Symmetry
  1234. status:  jc is an experimental system, undergoing rapid development.  
  1235.   It is in alpha release currently.
  1236. discussion: janusinterest-request@parc.xerox.com
  1237. updated: 1992/06/09
  1238.  
  1239. language: LIFE (Logic, Inheritance, Functions, and Equations)
  1240. package: Wild_LIFE
  1241. version: first-release
  1242. parts:  interpreter, manual, tests, libraries, examples
  1243. author:  Paradise Project, DEC Paris Research Laboratory.
  1244. how to get: ftp pub/plan/Life.tar.Z from gatekeeper.dec.com.
  1245. description: LIFE is an experimental programming language with a
  1246.   powerful facility for structured type inheritance.  It
  1247.   reconciles styles from functional programming, logic
  1248.   programming, and object-oriented programming.  LIFE
  1249.   implements a constraint logic programming language with
  1250.   equality (unification) and entailment (matching)
  1251.   constraints over order-sorted feature terms.  The
  1252.   Wild_LIFE interpreter has a comfortable user interface
  1253.   with incremental query extension ability.  It contains
  1254.   an extensive set of built-in operations as well as an X
  1255.   Windows interface.
  1256. conformance: semantic superset of LOGIN and LeFun.  Syntax is similar
  1257.   to prolog.
  1258. bugs:  life-bugs@prl.dec.com
  1259. ports:  MIPS-Ultrix
  1260. portability: good in theory
  1261. discussion: life-request@prl.dec.com
  1262. contact: Peter Van Roy <vanroy@prl.dec.com>
  1263. updated: 1992/12/14
  1264.  
  1265. language: Lolli (logic programming)
  1266. package: Lolli
  1267. version: ?
  1268. parts:  ?
  1269. author:  ? Josh Hodas <hodas@saul.cis.upenn.edu> ?
  1270. how to get: ftp pub/Lolli/Lolli-07.tar.Z. from ftp.cis.upenn.edu
  1271. description: Lolli is an interpreter for logic programming based 
  1272.   on linear logic principles.
  1273.   Lolli can be viewed as a refinement of the the
  1274.   Hereditary Harrop formulas of Lambda-Prolog.  All the
  1275.   operators (though not the higher order unification) of
  1276.   Lambda-Prolog are supported, but with the addition of
  1277.   linear variations. Thus a Lolli program distinguishes
  1278.   between clauses which can be used as many, or as few,
  1279.   times as desired, and those that must be used exactly once.
  1280. requires: ML
  1281. updated: 1992/11/08
  1282.  
  1283. language: Parlog
  1284. package: SPM System (Sequential Parlog Machine)
  1285. version: ?
  1286. parts:  ?, documenation
  1287. author:  ?
  1288. how to get: ? ftp lang/Parlog.tar.Z from nuri.inria.fr
  1289. description: a logic programming language ?
  1290. reference: Steve Gregory, "Parallel Logic Programming in PARLOG", 
  1291.   Addison-Wesely, UK, 1987
  1292. restriction: ? no source code ?
  1293. ports:  Sun-3 ?
  1294. updated: ??
  1295.  
  1296. language: Prolog
  1297. package: SB-Prolog
  1298. version: 3.1 ?
  1299. parts:  ?
  1300. author:  interpreter
  1301. how to get: ftp pub/sbprolog from sbcs.sunysb.edu
  1302. description: ?
  1303. restriction: GNU General Public License
  1304. contact: ? warren@sbcs.sunysb.edu ?
  1305. updated: ?
  1306.  
  1307. language: Prolog
  1308. package: XSB
  1309. version: 1.2
  1310. parts:  interpreter, preprocessor(HiLog), documentation
  1311. author:  XSB research group / SUNY at Stony Brook
  1312. how to get: ftp pub/XSB/XSB.tar.Z from sbcs.sunysb.edu (130.245.1.15)
  1313. description: XSB extends the standard functionality of Prolog (being a
  1314.   descendant of PSB- and SB-Prolog) to include implementations of
  1315.   OLDT (tabling) and HiLog terms.  OLDT resolution is extremely
  1316.   useful for recursive query computation, allowing programs to
  1317.   terminate correctly in many cases where Prolog does not.  HiLog
  1318.   supports a type of higher-order programming in which predicate
  1319.   symbols can be variable or structured. This allows unification
  1320.   to be performed on the predicate symbols themselves in addition
  1321.   to the arguments of the predicates.  Of course, Tabling and
  1322.   HiLog can be used together.
  1323. ports:  Sun, Solaris, NeXT, Linux, 386 BSD, IRIX, HP-UX
  1324. portability: Generally to 32-bit machines.
  1325. contact: xsb-contact@cs.sunysb.edu
  1326. updated: 1993/07/28
  1327.  
  1328. language: Prolog
  1329. package: Modular SB-Prolog
  1330. version: ?
  1331. parts:  interpreter
  1332. author:  ?
  1333. how to get: ftp pub/dts/mod-prolog.tar.Z from ftp.dcs.ed.ac.uk
  1334. description: SB-Prolog version 3.1 plus modules
  1335. restriction: GNU General Public License
  1336. ports:  Sparc
  1337. contact: Brian Paxton <mprolog@dcs.ed.ac.uk>
  1338. updated: ?
  1339.  
  1340. language: ALF [prolog variant]
  1341. package: alf (Algebraic Logic Functional programming language) 
  1342. version: ?
  1343. parts:  runtime, compiler(Warren Abstract Machine)
  1344. author:  Rudolf Opalla <opalla@julien.informatik.uni-dortmund.de>
  1345. how to get: ftp pub/programming/languages/LogicFunctional from
  1346.   ftp.germany.eu.net
  1347. description: ALF is a language which combines functional and
  1348.   logic programming techniques.  The foundation of
  1349.   ALF is Horn clause logic with equality which consists
  1350.   of predicates and Horn clauses for logic programming,
  1351.   and functions and equations for functional programming.
  1352.   Since ALF is an integration of both programming
  1353.   paradigms, any functional expression can be used
  1354.   in a goal literal and arbitrary predicates can
  1355.   occur in conditions of equations.
  1356. updated: 1992/10/08
  1357.  
  1358. language: CLP (Constraint Logic Programming language) [Prolog variant]
  1359. package: CLP(R)
  1360. version: 1.2
  1361. parts:  runtime, compiler(byte-code), contstraint solver
  1362. author:  IBM
  1363. how to get: mail to Joxan Jaffar <joxan@watson.ibm.com>
  1364. description: CLP(R) is a constraint logic programming language
  1365.   with real-arithmetic constraints.  The implementation
  1366.   contains a built-in constraint solver which deals
  1367.   with linear arithmetic and contains a mechanism
  1368.   for delaying nonlinear constraints until they become
  1369.   linear.  Since CLP(R) subsumes PROLOG, the system
  1370.   is also usable as a general-purpose logic programming
  1371.   language.  There are also powerful facilities for
  1372.   meta programming with constraints.  Significant
  1373.   CLP(R) applications have been published in diverse
  1374.   areas such as molecular biology, finance, physical
  1375.   modelling, etc.  We are distributing CLP(R) in order 
  1376.   to help widen the use of constraint programming, and 
  1377.   to solicit feedback on the system
  1378. restriction: free for academic and research purposes only
  1379. ports:  unix, msdos, OS/2
  1380. contact: Roland Yap <roland@bruce.cs.monash.edu.au>, Joxan Jaffar
  1381. updated: 1992/10/14
  1382.  
  1383. language: Prolog (variant)
  1384. package: Aditi
  1385. version: Beta Release
  1386. parts:  interpreter, database
  1387. author:  Machine Intelligence Project, Univ. of Melbourne, Australia
  1388. how to get: send email to aditi@cs.mu.oz.au
  1389. description: The Aditi Deductive Database System is a multi-user
  1390.   deductive database system.  It supports base relations
  1391.   defined by facts (relations in the sense of relational
  1392.   databases) and derived relations defined by rules that
  1393.   specify how to compute new information from old
  1394.   information.  Both base relations and the rules
  1395.   defining derived relations are stored on disk and are
  1396.   accessed as required during query evaluation.  The
  1397.   rules defining derived relations are expressed in a
  1398.   Prolog-like language, which is also used for expressing
  1399.   queries.  Aditi supports the full structured data
  1400.   capability of Prolog.  Base relations can store
  1401.   arbitrarily nested terms, for example arbitrary length
  1402.   lists, and rules can directly manipulate such terms.
  1403.   Base relations can be indexed with B-trees or
  1404.   multi-level signature files.  Users can access the
  1405.   system through a Motif-based query and database
  1406.   administration tool, or through a command line
  1407.   interface.  There is also in interface that allows
  1408.   NU-Prolog programs to access Aditi in a transparent
  1409.   manner.  Proper transaction processing is not supported
  1410.   in this release.
  1411. ports:  Sparc/SunOS4.1.2 Mips/Irix4.0
  1412. contact: <aditi@cs.mu.oz.au>
  1413. updated: 1992/12/17
  1414.  
  1415. language: Lambda-Prolog
  1416. package: Prolog/Mali (PM)
  1417. version: ? 6/23/92 ?
  1418. parts:  compiler(->C), linker, libraries, runtime, documentation
  1419. author:  Pascal Brisset <brisset@irisa.fr>
  1420. how to get: ftp pm/* from ftp.irisa.fr
  1421. description: Lambda-Prolog, a logic programming language defined by
  1422.   Miller, is an extension of Prolog where terms are
  1423.   simply typed $\lambda$terms and clauses are higher
  1424.   order hereditary Harrop formulas. The main novelties
  1425.   are universal quantification on goals and implication.
  1426. reference: + Miller D.A. and Nadathur G. "Higher-order logic 
  1427.   programming", 3rd International Conference on Logic 
  1428.   Programming, pp 448-462, London 1986.
  1429.   + Nadathur G. "A Higher-Order Logic as a Basis for Logic
  1430.   Programming", Thesis, University of Pennsylvania, 1987.  
  1431. requires: MALI-V06 abstract memory. MALI is available by anonymous ftp 
  1432.   from ftp.irisa.fr
  1433. ports:  unix
  1434. discussion: prolog-mali-request@irisa.fr
  1435. contact: pm@irisa.fr
  1436. updated: 1992/07/06
  1437.  
  1438. language: Prolog (variant)
  1439. package: CORAL
  1440. version: ?
  1441. parts:  interpreter, interface(C++), documentation
  1442. author:  ?
  1443. how to get: ftp ? from ftp.cs.wisc.edu
  1444. description: The CORAL deductive database/logic programming system was
  1445.   developed at the University of Wisconsin-Madison.  The CORAL
  1446.   declarative language is based on Horn-clause rules with
  1447.   extensions like SQL's group-by and aggregation operators, and
  1448.   uses a Prolog-like syntax.  * Many evaluation techniques are
  1449.   supported, including bottom-up fixpoint evaluation and top-down
  1450.   backtracking.  * A module mechanism is available.  Modules are
  1451.   separately compiled; different evaluation methods can be used
  1452.   in different modules within a single program.  * Disk-resident
  1453.   data is supported via an interface to the Exodus storage
  1454.   manager.  * There is an on-line help facility
  1455. requires: AT&T C++ 2.0 (G++ soon)
  1456. ports:  Decstation, Sun4
  1457. updated: 1993/01/29
  1458.  
  1459. language: Prolog
  1460. package: BinProlog
  1461. version: 1.71
  1462. parts:  interpreter?, documentation
  1463. author:  ?
  1464. how to get: ftp BinProlog/* from clement.info.umoncton.ca
  1465. description: BinProlog 1.71 is at this time probably the
  1466.   fastest freely available C-emulated Prolog.
  1467. ports:  IBM-PC/386, Sun-4, Sun-3, NeXT
  1468. contact: Paul Tarau <tarau@info.umoncton.ca>
  1469. updated: 1993/04/03
  1470.  
  1471. language: Prolog
  1472. package: SWI-Prolog
  1473. version: 1.7.2
  1474. parts:  ?
  1475. author:  Jan Wielemaker <jan@swi.psy.uva.nl>
  1476. how to get: ftp pub/SWI-Prolog from swi.psy.uva.nl 
  1477.     OS/2: ftp pub/toolw/SWI/* from mpii02999.ag2.mpi-sb.mpg.de
  1478. description: ?
  1479. conformance: superset
  1480. features: "very nice Ed. style prolog, best free one I've seen"
  1481. restriction: GNU General Public License
  1482. ports:  Sun-4, Sun-3 (complete); Linux, DEC MIPS (done but 
  1483.   incomplete, support needed); RS6000, PS2/AIX, Atari ST,
  1484.   Gould PN, NeXT, VAX, HP-UX (known problems, support needed);
  1485.   MSDOS (status unknown), OS/2
  1486. status:  activly developed
  1487. discussion: prolog-request@swi.psy.uva.nl
  1488. contact: (OS/2) Andreas Toenne <atoenne@mpi-sb.mpg.de>
  1489. updated: 1993/07/23
  1490.  
  1491. language: Prolog
  1492. package: Frolic
  1493. version: ?
  1494. parts:  ?
  1495. author:  ?
  1496. how to get: ftp pub/frolic.tar.Z from cs.utah.edu
  1497. description: ?
  1498. requires: Common Lisp
  1499. contact: ?
  1500. updated: 1991/11/23
  1501.  
  1502. language: Prolog
  1503. package: ? Prolog package from the University of Calgary ?
  1504. version: ?
  1505. parts:  ?
  1506. author:  ?
  1507. how to get: ftp pub/prolog1.1/prolog11.tar.Z from cpsc.ucalgary.ca
  1508. description: + delayed goals
  1509.   + interval arithmetic
  1510. requires: Scheme
  1511. portability: relies on continuations
  1512. contact: ?
  1513. updated: ?
  1514.  
  1515. language: Prolog
  1516. package: ? slog ?
  1517. version: ?
  1518. parts:  translator(Prolog->Scheme)
  1519. author:  dorai@cs.rice.edu
  1520. how to get: ftp public/slog.sh from titan.rice.edu
  1521. description: macros expand syntax for clauses, elations etc, into Scheme
  1522. ports:  Chez Scheme
  1523. portability: reliese on continuations
  1524. updated: ?
  1525.  
  1526. language: Prolog
  1527. package: LM-PROLOG
  1528. version: ?
  1529. parts:  ?
  1530. author:  Ken Kahn and Mats Carlsson
  1531. how to get: ftp archives/lm-prolog.tar.Z from sics.se
  1532. description: ?
  1533. requires: ZetaLisp
  1534. contact: ?
  1535. updated: ?
  1536.  
  1537. language: Prolog
  1538. package: Open Prolog
  1539. version: ?
  1540. parts:  ?
  1541. author:  ?
  1542. how to get: ftp languages/open-prolog/* from grattan.cs.tcd.ie
  1543. description: ?
  1544. ports:  Macintosh
  1545. contact: Michael Brady <brady@cs.tcd.ie>
  1546. updated: ?
  1547.  
  1548. language: Prolog
  1549. package: UPMAIL Tricia Prolog
  1550. version: ?
  1551. parts:  ?
  1552. author:  ?
  1553. how to get: ftp pub/Tricia/README from ftp.csd.uu.se
  1554. description: ?
  1555. contact: <tricia-request@csd.uu.se>
  1556. updated: ?
  1557.  
  1558. language: Prolog
  1559. package: ?; ? (two systems)
  1560. version: ?; ?
  1561. parts:  ?; ?
  1562. author:  ?
  1563. how to get: ftp ai.prolog/Contents from aisun1.ai.uga.edu
  1564. description: ?; ?
  1565. ports:  MSDOS, Macintosh; MSDOS
  1566. contact: Michael Covington <mcovingt@uga.cc.uga.edu>
  1567. updated: ?; ?
  1568.  
  1569. language: Prolog
  1570. package: XWIP (X Window Interface for Prolog)
  1571. version: 0.6
  1572. parts:  library
  1573. author:  ?
  1574. how to get: ftp contrib/xwip-0.6.tar.Z from export.lcs.mit.edu
  1575. description: It is a package for Prologs following the Quintus foreign
  1576.   function interface (such as SICStus). It provides a (low-level)
  1577.   Xlib style interface to X. The current version was developed
  1578.   and tested on SICStus 0.7 and MIT X11 R5 under SunOS 4.1.1.
  1579. portability: It is adaptable to many other Unix configurations.
  1580. contact: xwip@cs.ucla.edu
  1581. updated: 1993/02/25
  1582.  
  1583. language: Prolog
  1584. package: PI
  1585. version: ?
  1586. parts:  library
  1587. author:  ?
  1588. how to get: ftp pub/prolog/ytoolkit.tar.Z from ftp.ncc.up.pt
  1589. description: PI is a interface between Prolog applications and XWindows that
  1590.   aims to be independent from the Prolog engine, provided that it
  1591.   has a Quintus foreign function interface (such as SICStus,
  1592.   YAP).  It is mostly written in Prolog and is divided in two
  1593.   libraries: Edipo - the lower level interface to the Xlib
  1594.   functions; and Ytoolkit - the higher level user interface
  1595.   toolkit
  1596. contact: Ze' Paulo Leal <zp@ncc.up.pt>
  1597. updated: 1993/03/02
  1598.  
  1599. language: Prolog
  1600. package: ISO draft standard
  1601. version: ? (What year??)
  1602. parts:  language definition
  1603. author:  ?
  1604. how to get: ftp ? from ftp.th-darmstadt.de
  1605. description: ?
  1606. updated: 1992/07/06
  1607.  
  1608. language: Prolog
  1609. iref:  (Pascal) Tim Budd's C++ implementation of Kamin's interpreters
  1610.  
  1611. language: OPS5
  1612. package: PD OPS5
  1613. version: ?
  1614. parts:  interpreter
  1615. author:  Written by Charles L. Forgy and ported to Common Lisp by 
  1616.   George Wood and Jim Kowalski. 
  1617. how to get: ftp /afs/cs.cmu.edu/user/mkant/Public/Lisp/ops5* from 
  1618.   ftp.cs.cmu.edu
  1619. description: Public domain implementation of an OPS5 interpreter. OPS5 is
  1620.   a programming language for rule-based production systems.
  1621.   A rule consists of pre-condition(s) and the resulting
  1622.   action. The system as a whole acts first checking the
  1623.   status of system in its working memory and matches the
  1624.   rules to see if there are rules that are satisfied,
  1625.   and then the action in one selected satisfied rule is
  1626.   executed.
  1627.   There is a commercial version available called OPS83.
  1628.   Please contact the author for information.
  1629. requires: Common Lisp
  1630. contact: ? Mark Kantrowitz <mkant+@cs.cmu.edu> ?
  1631. updated: 1992/10/17
  1632. -- 
  1633. Send compilers articles to compilers@iecc.com or
  1634. {ima | spdcc | world}!iecc!compilers. Meta-mail to compilers-request@iecc.com.
  1635.